Registros por pagina: 20 50 100

Buscar Por:

Título

Autor/Editor

Colección


Registros por pagina: 20 50 100

  registros 1 al 10 de 10
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Davis, Martin  Fehnker, Ansgar  McIver, Annabelle  Voronkov, Andrei
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-48899-7
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Bjørner, Nikolaj  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-28717-6
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: McMillan, Ken  Middeldorp, Aart  Voronkov, Andrei
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-45221-5
    + info
Logic for Programming, Artificial Intelligence, and Reasoning
Autor/Editor: Carbonell, Jaime G.  Siekmann, Jörg  Cervesato, Iliano  Veith, Helmut  Voronkov, Andrei
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-89439-1
    + info
Perspectives of System Informatics
Autor/Editor: Voronkov, Andrei  Virbitskaite, Irina
Año de edición: 2015
Acceso: UBA
http://dx.doi.org/10.1007/978-3-662-46823-4
    + info
Perspectives of System Informatics
Autor/Editor: Mazzara, Manuel  Voronkov, Andrei
Año de edición: 2016
Acceso: UBA
http://dx.doi.org/10.1007/978-3-319-41579-6
    + info
Perspectives of System Informatics
Autor/Editor: Petrenko, Alexander K.  Voronkov, Andrei
Año de edición: 2018
Acceso: UBA
http://doi.org/10.1007/978-3-319-74313-4
    + info
Perspectives of Systems Informatics
Autor/Editor: Clarke, Edmund  Virbitskaite, Irina  Voronkov, Andrei
Año de edición: 2012
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-29709-0
    + info
Programming Logics
Autor/Editor: Voronkov, Andrei  Weidenbach, Christoph
Año de edición: 2013
Acceso: UBA
http://dx.doi.org/10.1007/978-3-642-37651-1
    + info
Rewriting Techniques and Applications
Autor/Editor: Hutchison, David  Kanade, Takeo  Kittler, Josef  Kleinberg, Jon M.  Mattern, Friedemann  Mitchell, John C.  Naor, Moni  Nierstrasz, Oscar  Pandu Rangan, C.  Steffen, Bernhard  Sudan, Madhu  Terzopoulos, Demetri  Tygar, Doug  Vardi, Moshe Y.  Weikum, Gerhard  Voronkov, Andrei
Año de edición: 2008
Acceso: UBA
http://dx.doi.org/10.1007/978-3-540-70590-1
    + info
  registros 1 al 10 de 10